a la recherche de logique

De la recherche sociale d'information à la recherche collaborative d'information

In this paper, we explain social information retrieval (SIR) and collaborative information retrieval (CIR). We see SIR as a way of knowing who to collaborate with in resolving an information problem while CIR entails the process of mutual understanding and solving of an information problem among collaborators. We are interested in the transition from SIR to CIR hence we developed a communicatio...

Complexité de la réduction en logique combinatoire

Centre National De La Recherche

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Approche logique pour la réconciliation de références

Résumé. Le problème de réconciliation de références consiste à décider si deux descriptions provenant de sources distinctes réfèrent ou non à la même entité du monde réel. Dans cet article, nous étudions ce problème quand le schéma des données est décrit en RDFS étendu par certaines primitives de OWL-DL. Nous décrivons et montrons l’intérêt d’une approche logique basée sur des règles de réconci...

Un bilan interprétatif de la théorie de l’agrégation logique

The theory of judgment aggregation, or rather logical aggregation, as we conceive of it here, generalizes the theory of social choice by having the aggregation rule bear on judgments of any kind whatever, and not barely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and Pettit’s 1Cet article développe la présentation de la théorie de l’agrégation logique faite pa...